System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
181	EAPI PICMG EAPI Revision 1.0 August 8, 2010 Embedded Application Programming Interface Add to Reading List Source URL: www.picmg.org Language: English - Date: 2014-05-15 16:27:09 Peripheral Component Interconnect Open standards Standards organizations PICMG COM Express PCI-SIG Interrupt request Conventional PCI PCI Express PICMG 1.3 System Host Board
182	Mathemati al Programming manus ript No. (will be inserted by the editor) Susanne Albers Online Algorithms: A Survey Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:03:55 Online algorithms Analysis of algorithms Adversary model List update problem K-server problem Algorithm Randomized algorithm Competitive analysis Metrical task system
183	Towards Deeper Understanding of Syntactic Concepts in Programming Sebastian Gross, Sven Strickroth, Niels Pinkwart, and Nguyen-Thinh Le Clausthal University of Technology, Department of Informatics Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-03 09:16:06 Educational psychology Compiler construction Artificial intelligence Programming languages Educational technology Intelligent tutoring system Cognitive tutor Syntax AutoTutor Compiler ALGOL 68 Exception handling
184	Tool Interface Standard (TIS) Portable Formats Specification Version 1.1 TIS Committee October 1993 Add to Reading List Source URL: refspecs.linuxbase.org Language: English - Date: 2015-01-28 11:44:48 Programming language implementation Portable Executable Executable and Linkable Format UNIX System V Unix Object file Executable Dynamic linker Library Debuggers Relocatable Object Module Format COFF
185	Binding-Time Analysis and the Taming of C Pointers ∗ Lars Ole Andersen DIKU, University of Copenhagen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:06 Data types Procedural programming languages Type theory C Struct Type safety Pointer C++ classes Recursion ALGOL 68 Type system This
186	920 C1 Digital Imaging Services Council on Competitive Government Please direct inquiries to: Add to Reading List Source URL: www.ccg.state.tx.us Language: English - Date: 2014-08-25 16:38:45 Information technology management Records management technology Technical communication Document management system Document imaging Enterprise content management Digital imaging Application programming interface IMDS Group
187	technology corner professional training calendar highlights / November 2015–February 2016 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2016-03-14 13:19:59 Ada SPARK CodePeer GNAT A Sharp Avionics software Computer programming Static program analysis Design by contract Subroutine CrazyFlie Embedded system
188	Analysis of an encrypted HDD J. Czarny, R. Rigo May 11, 2015 Abstract The idea of this presentation is to debunk the myth that analyzing the security of hardware is difficult. From the perspective of a software reverse e Add to Reading List Source URL: www.sstic.org Language: English - Date: 2015-05-26 11:04:26 Microcontrollers Disk encryption Instruction set architectures Cryptographic software Non-volatile memory PIC microcontroller USB flash drive Serial Peripheral Interface Bus In-system programming Flash memory Firmware Encryption
189	OPTIMIZATION GENERAL ALGEBRAIC MODELING SYSTEM High-Level Modeling The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical programming problems. GAMS is tailored for complex, large-s Add to Reading List Source URL: www.gams.com Language: English - Date: 2016-06-07 08:00:10 Numerical software Computer algebra systems General Algebraic Modeling System Gams BARON CPLEX Draft:Extended mathematical programming Extended Mathematical Programming
190	System FC with Explicit Kind Equality (Extended Version) Stephanie Weirich Justin Hsu Richard A. Eisenberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-06 17:30:04 Type theory Data types Functional programming Dependently typed programming Generalized algebraic data type Type class Valuation

UPDATE